翻訳と辞書 Words near each other ・ Subsea 7 ・ Subsea Marker ・ Subsea production system ・ Subsea Valley ・ Subsea valves ・ Subsecretaria de Inteligência ・ Subsequence ・ Subsequent ・ Subsequent Nuremberg trials ・ Subsequent Pleasures ・ Subsequential limit ・ Subserosa ・ Subset ・ Subset simulation ・ Subset sum problem ・ Subset-equational language ・ Subsets of Sets ・ Subsetting ・ Subseven ・ Subshell ・ Subshift of finite type ・ Subshrub ・ Subsidence ・ Subsidence (atmosphere) ・ Subsidence crater ・ Subsidiaries and affiliates of Total S. A. ・ Subsidiaries of Royal Brunei Airlines ・ Subsidiarity ・ Subsidiarity (Catholicism) ・ Subsidiary Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Subset-equational language ： ウィキペディア英語版 Subset-equational language The Subset-equational language (SEL) is a declarative programming language for set processing, written by Bharat Jayaraman. Features include: *subset and equational program clauses. *pattern matching over sets (supporting efficient iteration over sets). *annotations to say which functions distribute over union in which arguments (for point-wise/incremental computation over sets). *defining transitive closures through circular constraints (implemented by mixed top-down/memoisation and bottom-up strategy). *metaprogramming and simple higher-order programming. *modest user-interface including tracing. The SEL compiler, written in Quintus Prolog, generates WAM-like code, extended to deal with set-matching, memoisation, and the novel control structure of the language. The run-time system is written in C. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Subset-equational language」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.